nutcracker/nutcracker.util/`Forall{(* -> *) -> * -> *}`

`Forall{(* -> *) -> * -> *}`

trait `Forall{(* -> *) -> * -> *}`[F[_[_], _]]

Universally quantified value: ∀ K[_], A. F[K, A]

class Object
trait Matchable
class Any

Type members

Types

type PApplied[K[_]] = `Forall{* -> *}`[[_] =>> F[K, _$16]]

Value members

Abstract methods

protected def compute[K[_], A]: F[K, A]

Concrete methods

final def apply[K[_], A]: F[K, A]
final def papply[K[_]]: PApplied[K]
final def transform[G[_[_], _]](f: F `FunctionK{(* -> *) -> * -> *}` G): `Forall{(* -> *) -> * -> *}`[G]

Transform this value by a universally quantified function f: ∀ K[_], A. F[K, A] => G[K, A]

Transform this value by a universally quantified function f: ∀ K[_], A. F[K, A] => G[K, A]